Abstract Views of Prolog Executions in Opium
نویسنده
چکیده
Views of Prolog Executions in Opium Mireille Ducassé, IRISA/INSA N ̊ 3531 Octobre 1998
منابع مشابه
Opium: An Extendable Trace Analyzer for Prolog
Traces of program executions are a helpful source of information for program debugging. They, however, give a picture of program executions at such a low level that users often have diiculties to interpret the information. Opium, our extendable trace analyzer, is connected to a \standard" Prolog tracer. Opium is programmable and extendable. It provides a trace query language and abstract views ...
متن کاملAutomated Debugging Extensions of the Opium Trace Analyser
Traces of program executions tell how programs behave in given cases. They are a helpful source of information for automated debugging. Opium is an automated trace analyser for Prolog programs. It is programmable and extendable. It provides a trace query language and abstract views of executions as a basis for automated debugging. Opium has shown its capabilities to build abstract tracers and a...
متن کاملAnalysis of failing Prolog Executions
R esum e Le r esultat d'une ex ecution Prolog peut ^ etre un simple \no", alors que le programmeur attendait autre chose. Ce sympt^ ome est typique de Prolog et requiert sp ecialement l'aide d'un traceur pour obtenir des indices sur le probl eme. Nous pr esentons une solution qui aide les programmeurs a comprendre comment les echecs non-attendus ont pu se produire. Nous proposons d'abord une hi...
متن کاملHigh-Level Views of Distributed Executions
Due to the complexity of distributed applications, understanding their behaviour is a challenging task. The top-down use of suitable abstraction hierarchies is frequently proposed to manage this complexity. One commonly used abstraction is to group primitive events into abstract events. This paper discusses some of the problems encountered when displaying executions at abstract levels and prese...
متن کاملAutomated Analysis of CLP(FD) Program Execution Traces
The operational behavior of constraint programs is not easy to understand. We propose an approach where high-level views of executions are built on top of low-level tracers. We describe an analysis module which can analyze on the y execution traces. Application programmers or end-users can easily program trace analysis tools without knowing any implementation details about the solver or the tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991